| 翻訳と辞書 |
| Patrick Prosser ： ウィキペディア英語版 |
Patrick Prosser
Patrick Prosser (born 8 September 1952) is a Computer Scientist at Glasgow University. His research has centred on Constraint programming, although it has extended into the application of those techniques into other areas. For his major contributions to the theory and practice of Constraint Programming, Patrick was awarded the Association for Constraint Programming's Research Excellence Award on 15 September 2011: he is only the sixth recipient of this award.〔(Association for Constraint Programming's Research Excellence Award website. )〕 He gave a prerecorded acceptance speech, which is available on YouTube.〔(Patrick Prosser's video acceptance speech playlist on Youtube. )〕
His most notable contribution is his invention of Conflict-directed backjumping, an advanced technique for reducing search in constraint problems by avoiding unnecessary work on backtracking. His 1993 paper〔(HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM, ''Computational Intelligence'', 1993, Vol 9, pages 268-299 )〕 describing this has been widely cited.〔(Google Scholar search )〕
Other areas of constraint programming he has researched include the identification of hard problems〔(An empirical study of phase transitions in binary constraint satisfaction problems, ''Artificial Intelligence'', 1996, Vol 81, pages 81-109. )
〕
and techniques for solving vehicle routing problems.〔(Solving Vehicle Routing Problems Using Constraint Programming and Metaheuristics, ''Journal of Heuristics'', 1995, Vol 6, pages 501-523 ).〕 His interest in applications of constraint programming has included (for example) how it can be used in computing species trees.〔(N. C. A. Moore and P. Prosser (2008) "The Ultrametric Constraint and its Application to Phylogenetics", ''JAIR'', Volume 32, pages 901-938 )〕
Amongst his recreations is kite flying as a founder of the (Kite Club of Scotland ). He has written about the Tetrahedral kite.〔(The tetrahedral principle in kite design, revisited, Patrick Prosser, 1996 ).〕
==References==
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Patrick Prosser」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|